* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
authorJuanma Barranquero <lekktu@gmail.com>
Wed, 7 Oct 2009 01:43:06 +0000 (01:43 +0000)
committerJuanma Barranquero <lekktu@gmail.com>
Wed, 7 Oct 2009 01:43:06 +0000 (01:43 +0000)
commit52ced77c780aa636ce45239e270f71490909818a
tree68e4d40399eb2f073fedc4bb504b535bd5fd4b00
parentba2b95488ed07e8e3635a8bb86c98b80bbb10892
* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add eieio, ede.
 ($(infodir)/eieio, eieio.dvi, $(infodir)/ede, ede.dvi): New targets.
doc/misc/ChangeLog
doc/misc/makefile.w32-in